Germany - PDFSEARCH.IO - Document Search Engine

Germany
Results: 46060

#	Item
1	Bringing the Web up to Speed with WebAssembly Andreas Haas Andreas Rossberg Derek L. Schuff∗ Ben L. Titzer ∗ Google GmbH, Germany / Google Inc, USA {ahaas,rossberg,dschuff,titzer}@google.com Add to Reading List Source URL: www.cs.tufts.edu Language: English - Date: 2017-10-24 10:03:16 Software engineering Computer programming Computing Cross-platform software High-level programming languages Web programming Functional programming Subroutines JavaScript Const Stack machine Stack trace
2	Prof. Dr. Martin Fränzle Department of Computing Science University of OldenburgOldenburg Germany Email: Add to Reading List Source URL: www.avacs.org - Date: 2015-09-07 03:31:28
3	Security BSides Munich Conference Sponsoring Kit SpringMünchen, Germany www.bsidesmunich.org Add to Reading List Source URL: www.bsidesmunich.org Language: English - Date: 2018-09-10 16:03:04 Computing Software Universal Windows Platform apps Internet Hacker conventions Security BSides Unconferences Twitter Sponsor Tor Target Corporation TED
4	Microsoft Word2015_Digital Germany_For March 26th German Energy Transition Dialogue Event.docx Add to Reading List Source URL: www.energiewende2018.com Language: English - Date: 2017-12-20 11:56:24 Energy Universe Energy economics Energy policy Nature Renewable energy Energy transition The Third Industrial Revolution Jeremy Rifkin Energy development Sustainable energy Energy industry
5	13th International Satisfiability Modulo Theories Competition (SMT-COMP 2018): Rules and Procedures Matthias Heizmann University of Freiburg Germany Add to Reading List Source URL: smtcomp.sourceforge.net Language: English - Date: 2018-07-14 13:51:00 Theoretical computer science NP-complete problems Logic in computer science Constraint programming Electronic design automation Formal methods Satisfiability modulo theories Solver Benchmark Unsatisfiable core Lis
6	SMITH - A Parallel Hardware Architecture for fast Gaussian Elimination over GF(2) A. Bogdanov, M.C. Mertens, C. Paar, J. Pelzl, A. Rupp Horst G¨ortz Institute for IT Security, Ruhr University Bochum, Germany {bogdanov,m Add to Reading List Source URL: www.hyperelliptic.org Language: English - Date: 2006-03-21 11:51:07 Algebra Linear algebra Mathematics Numerical linear algebra Matrices Matrix theory Multiplication Gaussian elimination Matrix multiplication Pivot element Invertible matrix Matrix
7	Projektmanagement bei FIS KORDOBA Ein Projekt ist ein einmaliges Vorhaben einer Aufgabenausführung mit einem festen Anfangs- und Endtermin. Immer häufiger setzen Wirtschaftsunternehmen, Organisationen und die öffentli Add to Reading List Source URL: www.fis-germany.de Language: German - Date: 2014-04-23 07:23:58
8	Decoupled State Space Search – Dissertation Abstract Daniel Gnad Saarland University Saarbr¨ucken, Germany Add to Reading List Source URL: icaps16.icaps-conference.org Language: English - Date: 2016-06-09 08:09:27 A* search algorithm Combinatorial optimization Game artificial intelligence Mathematics Information science Information retrieval C*-algebras
9	CAV 2007 19th International Conference on Computer-Aided Verification July 2007, Berlin, Germany SMT 2007: Add to Reading List Source URL: www.lsi.upc.edu Language: English - Date: 2007-07-09 05:14:16 Theoretical computer science Logic in computer science Formal methods Mathematical logic Mathematics Electronic design automation NP-complete problems Constraint programming Boolean satisfiability problem Satisfiability modulo theories Horn clause Satisfiability
10	14th International Symposium and accompanying Exhibition on Sophisticated Car Safety Systems Mannheim, Germany Add to Reading List Source URL: www.ict.fraunhofer.de Language: English - Date: 2018-10-26 03:42:36 Automotive industry Transport Economy Parachuting Product testing Safety engineering Joyson Safety Systems Mazda Robert Bosch GmbH ZF Friedrichshafen Airbag Fraunhofer Society

UPDATE